Méthodes et outils de test pour microprocesseurs et circuits périphériques

Chronique. Défis pour le génie de la programmation et du logiciel

Le groupe LTP (langages, types et preuves) note que la diffusion des méthodes de développement basées sur la preuve reste limitée. Il diagnostique que cet état de fait est lié à la difficulté de prise en main des outils de preuve, à leur capacité à passer à l'échelle et à la nécessité de valider les spécifications et hypothèses de départ. Il propose des pistes pour relever le défi de l'adoption...

Méthodes et outils pour la conception de systèmes logiciels auto-adaptatifs

HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau...

Méthodes et outils informatiques pour la commande locale ou distante de systèmes réactifs

HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau...

Grammaires locales pour l'analyse automatique de textes : méthodes de construction et outils de gestion. (Local grammars for text parsing: construction methods and management tools)

Faire vivre un référentiel métier dans l'industrie : le système de gestion de connaissances ICARE

Résumé. La gestion des connaissances, enjeu majeur pour l’industrie, est entrée dans une phase concrète de déploiement. La conjonction d’une maturité des organisations dans la maîtrise de leur métier, la consolidation de méthodes et les outils évolutifs pour faire vivre un patrimoine de connaissances favorisent l’émergence de projets significatifs et leur diffusion opérationnelle au sein de gra...